Automated measurement and verification: Performance of public domain whole-building electric baseline models
نویسندگان
چکیده
منابع مشابه
Auto mated Measurement and Verification: Performance of Public Domain Whole-Building Electric Baseline Models
We present a methodology to evaluate the accuracy of baseline energy predictions. To evaluate the predictions from a computer program, the program is provided with electric load data, and additional data such as outdoor air temperature, from a “training period” of at least several months duration, and used to predict the energy use as a function of time during the subsequent “prediction period....
متن کاملAutomated Validation and Verification of Process Models
In process programming, processes are modeled as pieces of software, and a process programming language is used to specify the process. Such a language resembles a conventional programming language, providing constructs such as iteration and selection. This approach allows models to be simulated and enacted easily. However, it also suffers from the same problems that plague traditional programm...
متن کاملManagement of electric and thermal energy consumption in residential building
In residential section, Studies have shown that, along with the use of various household consumption management techniques, the so-called hubs of energy can also be used to improve the performance and management of home energy management. In each electrical energy system, customers are aiming to minimize their energy costs. In this paper, it can be seen that in each home a home-made residential...
متن کاملAutomated Formalisation for Verification of Diagrammatic Models
Software engineering uses models to design and analyse systems. The current state-of-the-art, various forms of model-driven development, uses diagrams with defined abstract syntax but relatively-lose translational approaches to semantics, which makes it difficult to perform rigorous analysis and verification of models. Here, we present work-in-progress on tool support for formal verification of...
متن کاملAutomated Verification of Executable UML Models
We present a fully automated approach to verifying safety properties of Executable UML models (xUML). Our tool chain consists of a model transformation program which translates xUML models to the process algebra mCRL2, followed by symbolic model checking using LTSmin. If a safety violation is found, an error trace is visualised as a UML sequence diagram. As a novel feature, our approach allows ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Applied Energy
سال: 2015
ISSN: 0306-2619
DOI: 10.1016/j.apenergy.2015.01.026